We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

We construct a machine that knows its own code, at the price of not knowing its own factivity.

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

Prior scholarly approaches to meaningful work have largely fallen into two camps. One focuses on identifying how work can contribute to a meaningful life. The other studies the antecedents and outcomes of workers experiencing their work as meaningful. Neither of these approaches, however, captures what people look for when they seek meaningful work—or so I argue. In this paper, I give a new, commitment-based account of meaningful work by focusing on the reasons people have to choose meaningful work over other (...) options. I draw on philosopher Ruth Chang’s account of voluntarist reasons (reasons that arise from an act of the will) to argue that commitments can create distinctive reasons to pursue certain work. It is the presence of these distinctive reasons that makes work meaningful. (shrink)

Decision theory has had a long-standing history in the behavioural and social sciences as a tool for constructing good approximations of human behaviour. Yet as artificially intelligent systems (AIs) grow in intellectual capacity and eventually outpace humans, decision theory becomes evermore important as a model of AI behaviour. What sort of decision procedure might an AI employ? In this work, I propose that policy-based causal decision theory (PCDT), which places a primacy on the decision-relevance of predictors and simulations of agent (...) behaviour, may be such a procedure. I compare this account to the recently-developed functional decision theory (FDT), which is motivated by similar concerns. I also address potentially counterintuitive features of PCDT, such as its refusal to condition on observations made at certain times. (shrink)

Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

The Planteome project provides a suite of reference and species-specific ontologies for plants and annotations to genes and phenotypes. Ontologies serve as common standards for semantic integration of a large and growing corpus of plant genomics, phenomics and genetics data. The reference ontologies include the Plant Ontology, Plant Trait Ontology, and the Plant Experimental Conditions Ontology developed by the Planteome project, along with the Gene Ontology, Chemical Entities of Biological Interest, Phenotype and Attribute Ontology, and others. The project also provides (...) access to species-specific Crop Ontologies developed by various plant breeding and research communities from around the world. We provide integrated data on plant traits, phenotypes, and gene function and expression from 95 plant taxa, annotated with reference ontology terms. (shrink)

The COVID-19 pandemic has been overwhelming public health-care systems around the world. With demand exceeding the availability of medical resources in several regions, hospitals have been forced to invoke triage. To ensure that this difficult task proceeds in a fair and organised manner, governments scrambled experts to draft triage guidelines under enormous time pressure. Although there are similarities between the documents, they vary considerably in how much weight their respective authors place on the different criteria that they propose. Since most (...) of the recommendations do not come with ethical justifications, analysing them requires that one traces back these criteria to their underlying theories of distributive justice. In the literature, COVID-19 triage has been portrayed as a value conflict solely between utilitarian and egalitarian elements. While these two accounts are indeed the main antipodes, I shall show that in fact all four classic theories of distributive justice are involved: utilitarianism, egalitarianism, libertarianism, and communitarianism. Detecting these in the documents and classifying the suggested criteria accordingly enables one to understand the balancing between the different approaches to distributive justice—which is crucial for both managing the current pandemic and in preparation for the next global health crisis. (shrink)

Machine intelligence already helps medical staff with a number of tasks. Ethical decision-making, however, has not been handed over to computers. In this proof-of-concept study, we show how an algorithm based on Beauchamp and Childress’ prima-facie principles could be employed to advise on a range of moral dilemma situations that occur in medical institutions. We explain why we chose fuzzy cognitive maps to set up the advisory system and how we utilized machine learning to train it. We report on the (...) difficult task of operationalizing the principles of beneficence, non-maleficence and patient autonomy, and describe how we selected suitable input parameters that we extracted from a training dataset of clinical cases. The first performance results are promising, but an algorithmic approach to ethics also comes with several weaknesses and limitations. Should one really entrust the sensitive domain of clinical ethics to machine intelligence? (shrink)

In this paper I defend the traditional interpretations of Kant’s Formula of a Law of Nature from recent attacks leveled by Faviola Rivera-Castro, James Furner, Ido Geiger, Pauline Kleingeld and Sven Nyholm. After a short introduction, the paper is divided into four main sections. In the first, I set out the basics of the three traditional interpretations, the Logical Contradiction Interpretation, the Practical Contradiction Interpretation and the Teleological Contradiction Interpretation. In the second, I examine the work of Geiger, Kleingeld and (...) Nyholm: these three commentators reject the traditional interpretations entirely, but I argue that this rejection is ill-founded. In the third and fourth, I take a detailed look at Furner’s work, work in which he seeks to revise (rather than reject) the traditional interpretations. I argue that, despite his more modest aims, Furner’s revision is also ill-founded. (shrink)

Jennifer Saul argues that the evidence from the literature on implicit biases entails a form of skepticism. In this paper, I argue that Saul faces a dilemma: her argument is either self-defeating, or it does not yield a skeptical conclusion. For Saul, both results are unacceptable; thus, her argument fails.

Scholars have often thought that a monistic reading of Aristotle’s definition of the human good – in particular, one on which “best and most teleios virtue” refers to theoretical wisdom – cannot follow from the premises of the ergon argument. I explain how a monistic reading can follow from the premises, and I argue that this interpretation gives the correct rationale for Aristotle’s definition. I then explain that even though the best and most teleios virtue must be a single virtue, (...) that virtue could in principle be a whole virtue that arises from the combination of all the others. I also clarify that the definition of the human good aims at capturing the nature of human eudaimonia only in its primary case. (shrink)

Fragmentalism was originally introduced as a new A-theory of time. It was further refined and discussed, and different developments of the original insight have been proposed. In a celebrated paper, Jonathan Simon contends that fragmentalism delivers a new realist account of the quantum state—which he calls conservative realism—according to which: the quantum state is a complete description of a physical system, the quantum state is grounded in its terms, and the superposition terms are themselves grounded in local goings-on about the (...) system in question. We will argue that fragmentalism, at least along the lines proposed by Simon, does not offer a new, satisfactory realistic account of the quantum state. This raises the question about whether there are some other viable forms of quantum fragmentalism. (shrink)

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

The Gamer’s Dilemma consists of three intuitively plausible but conflicting assertions: (i) Virtual murder is morally permissible. (ii) Virtual child molestation is morally forbidden. (iii) There is no relevant moral difference between virtual murder and virtual child molestation in computer games. Numerous attempts to resolve (or dissolve) the Gamer’s Dilemma line the field of computer game ethics. Mostly, the phenomenon is approached using expressivist argumentation: Reprehensible virtual actions express something immoral in their performance but are not immoral by themselves. Consequentialists, (...) on the other hand, claim that the immorality of virtual actions arises from their harmful consequences. I argue that both approaches have serious difficulties meeting the moral challenge posed by the Gamer’s Dilemma. They tend to confuse the morality of in-game actions either with the morality of their real-world counterparts or with the morality of games as objects. Following this critical analysis, I will develop a Kantian argument and defend it against two objections. So far, deontological responses to the Gamer’s Dilemma have been sought in vain. Yet, with Kant, its moral challenge can be met by looking at the gamer’s reasons. From this perspective, the Gamer’s Dilemma is based on a false assumption: the moral status of gaming acts does not derive from a normative equation with their real-world counterparts but only from their justifications. (shrink)

In response to the spread of COVID-19, governments across the world have, with very few exceptions, enacted sweeping restrictive lockdown policies that impede citizens’ freedom to move, work, and assemble. This paper critically responds to the central arguments for restrictive lockdown legislation. We build our critique on the following assumption: public policy that enjoys virtually unanimous support worldwide should be justified by uncontroversial moral principles. We argue that that the virtually unanimous support in favor of restrictive lockdowns is not adequately (...) justified by the arguments given in favor of them. Importantly, this is not to say that states ought not impose restrictive lockdown measures, but rather that the extent of the acceptance of these measures is not proportionate to the strength of the arguments for lockdowns. -/- We begin by exploring the case for restrictive lockdowns. We first argue that several of the principles that are used to justify the lockdowns yield unexpectedly revisionary implications for other political problems that many would be unwilling to accept. We then outline what we consider the strongest argument for a lockdown—namely, that its net welfare benefits are great enough to defeat the moral presumption against restricting citizens’ civil liberties to move, work, and assemble. However, we give a number of reasons for doubting that the lockdown’s net welfare benefits are, in fact, sufficiently high to defeat the presumption against it. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds on Hintikka’s modal (...) approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

In recent years, some have claimed that a Darwinian perspective will revolutionize the study of human society and culture. This project is viewed with disdain and suspicion, on the other hand, by many practicing social scientists. This article seeks to clear the air in this heated debate by dissociating two claims that are too often assumed to be inseparable. The first is the ‘ontological’ claim that Darwinian principles apply, at some level of abstraction, to human society and culture. The second (...) is the more ‘pragmatic’ claim that this observation necessitates substantial changes in the practices of social scientists. Even if some version of the first claim is true, I argue – which I believe is quite likely – the second does not follow. This observation ought to chasten the most overzealous advocates of Darwinian social science, as well as softening the instinctive resistance of many social scientists and historians to the genuine insights enabled by a Darwinian approach. The conclusion discusses these insights, the most important of which is a methodological prescription for normative theory. (shrink)

This paper articulates a functionalist account of intra-party democracy (IPD). Like realist critics, we insist that IPD practices be evaluated on the basis of whether they facilitate resistance to domination and capture at the level of the polity as a whole, and therefore accept certain realist worries about IPD. Yet realists neglect the possibility that wealthy interests could control the political agenda by capturing all viable parties simultaneously-and that mass-facing IPD could counter this threat of oligarchic agenda capture. Taking this (...) as the key function of IPD within broader democratic systems, we conclude that inclusionary party reform is less urgent in more flexible party systems, where dissenters are better able to resist this threat from within the framework of inter-party competition. Regardless of the context, meanwhile, we also conclude that mass-facing IPD practices should aim at enabling ordinary members and supporters of a party to resist agenda capture by oligarchic interests. Though we stop short of defending any particular set of reforms, we reject the emphasis of recent IPD advocates on individualized forms of deliberative participation, in favor of a more oppositional and collectively-oriented approach-on the grounds that the latter is more likely to encourage the development of effective institutions of countervailing power. (shrink)

Contemporary critics of the administrative state are right to highlight the dangers of vesting too much power in a centralized bureaucracy removed from popular oversight and accountability. Too often neglected in this literature, however, are the dangers of vesting too little power in a centralized state, which enables dominant groups to further expand their social and economic advantages through decentralized means. This article seeks to synthesize these concerns, understanding them as reflecting the same underlying danger of state capture. It then (...) articulates a set of heuristics for the design of public and administrative institutions, which aim at minimizing the risks of capture from both public and private sources. By following these heuristics, it claims, we can successfully employ the administrative state as a weapon against concentrated private power, rather than allowing it to serve as a tool of dominant groups. (shrink)

The Generality Problem is widely recognized to be a serious problem for reliabilist theories of justification. James R. Beebe's Statistical Solution is one of only a handful of attempted solutions that has garnered serious attention in the literature. In their recent response to Beebe, Julien Dutant and Erik J. Olsson successfully refute Beebe's Statistical Solution. This paper presents a New Statistical Solution that countenances Dutant and Olsson's objections, dodges the serious problems that trouble rival solutions, and retains the theoretical virtues (...) that made Beebe's solution so attractive in the first place. There indeed exists a principled, rigorous, conceptually sparse, and plausible solution to the Generality Problem: it is the New Statistical Solution. (shrink)

The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...) which ascriptions like ‘Mary knows Smith’ are regarded as formally interesting in their own right, remaining neutral on their relation to ascriptions of propositional knowledge. The resulting logical framework, which is based on Hintikka’s modal approach to epistemic logic, provides a fresh perspective on various issues and notions at play in the philosophical debate on acquaintance. (shrink)

I argue that Kant’s Categorical Imperative should be applied to individual maxim tokens rather than abstract maxim types. The article is divided into five sections. In the first, I explain my thesis. In the second, I show that my thesis disagrees with Rawls. In the third, I argue for my thesis on the basis of the wording of the Categorical Imperative and on the basis of considerations about autonomy. In the fourth, I argue for my thesis on the basis of (...) considerations about the ‘ought implies can’ principle. In the fifth, I provide a summary of the main argumentative moves and also explain some of the philosophical advantages of my thesis. (shrink)

In Wilmot-Smith’s recent “Law, ‘Ought’, and ‘Can’,” he argues that legal obligation does not imply ability. In this short reply, I show that Wilmot-Smith’s arguments do not withstand critical scrutiny. In section 1, I attack Wilmot-Smith’s argument for the claim that allowing for impossible obligations makes for a better legal system, and I introduce positive grounds for thinking otherwise. In section 2, I show that, even if Wilmot-Smith had established that impossible obligations make for a better legal system, his subsequent (...) attack on OIC fails. (shrink)

This article is divided into three sections. In the first and second, I examine Sartorio’s account of the causal structure of the famous Thirsty Traveler thought experiment. I argue that this account does not withstand critical scrutiny. In the third, I turn to a novel kind of moral luck that Sartorio uses the Thirsty Traveler to expose. I expand the scope of my argument to look also at other recently proposed categories of moral luck. I argue that these proposals are (...) overhasty. (shrink)

This article challenges the association between realist methodology and ideals of legitimacy. Many who seek a more “realistic” or “political” approach to political theory replace the familiar orientation towards a state of justice with a structurally similar orientation towards a state of legitimacy. As a result, they fail to provide more reliable practical guidance, and wrongly displace radical demands. Rather than orienting action towards any state of affairs, I suggest that a more practically useful approach to political theory would directly (...) address judgments, by comparing the concrete possibilities for action faced by real political actors. (shrink)

Much attention has been paid to moral understanding as an individual achievement, when a single agent gains insight into distinctly moral matters. Crucially overlooked, I argue, is the phenomenon of shared moral understanding, when you and I understand moral matters together, in a way that can’t be reduced to each of us having moral understanding on our own. My argument pays close attention to two central moral practices: justifying our actions to others, and apologizing for wrongdoing. I argue that, whenever (...) I owe you a justification or an apology, I thereby owe it to you to aim at our coming to a shared moral understanding. My argument has two upshots. The first is a novel explanation of the importance of moral understanding in our lives, one that emphasizes the importance of understanding moral reasons together. The second is a better understanding of the very obligations involved in two of our most central interpersonal moral practices. (shrink)

In this study, press freedom in Nigeria is investigated, together with its recent developments and historical background. It looks at the state of press freedom, highlighting obstacles, worldwide forces that contribute to its restriction and the benefits it provides. Despite legislative restrictions, government control over Nigeria's media has persisted since the Newspaper Ordinance of 1903. The study places press freedom within several theoretical frameworks, such as authoritarian, libertarian, and democratic participant theories, using McQuail's theories of mass communication. Using Google Forms (...) and the River sampling method, the study obtained data from 60 Nigerian journalists with a 100% response rate. The study underscores the critical function of press freedom in democratic nations, calls for its protection, and emphasizes its ability to influence open government, the defense of human rights, and socioeconomic progress. (shrink)

We provide an intuitive motivation for the hyperreal numbers via electoral axioms. We do so in the form of a Socratic dialogue, in which Protagoras suggests replacing big-oh complexity classes by real numbers, and Socrates asks some troubling questions about what would happen if one tried to do that. The dialogue is followed by an appendix containing additional commentary and a more formal proof.

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

According to many philosophers, rationality is, at least in part, a matter of one’s attitudes cohering with one another. Theorists who endorse this idea have devoted much attention to formulating various coherence requirements. Surprisingly, they have said very little about what it takes for a set of attitudes to be coherent in general. We articulate and defend a general account on which a set of attitudes is coherent just in case and because it is logically possible for the attitudes to (...) be jointly satisfied in the sense of jointly fitting the world. In addition, we show how the account can help adjudicate debates about how to formulate various rational requirements. (shrink)

Meier’s Gedancken von dem Zustande der Seele nach dem Tode (Gedancken) deserves a prominent place among treatments of the immortality of the soul in 18th century German philosophy, both within and without the Wolffian tradition of rational psychology. It does not wilt next to Mendelssohn’s Phädon in its quality of expression, and might even be compared with Kant’s discussion in the Paralogisms chapter of his Kritik der reinen Vernunft in terms of the boldness of its argument and its philosophical (...) rigour. The Gedancken contributed greatly to Meier’s growing reputation as an original thinker and helped him emerge from the shadow of his famous colleague in the philosophy faculty at the Friedrichs-Universität in Halle, Christian Wolff; moreover, it provoked detailed responses on the part of its critics and even made Meier himself the subject of official investigation as an accused aider and abettor of freethinkers. Meier’s Gedancken thus stands as a work of central importance within his own philosophical corpus and in the history of 18th century German rational psychology more generally. Accordingly, in this Introductory Essay, I will present the context and argument, as well as the reception, of the Gedancken, and then consider Meier’s subsequent defense of his controversial text. (shrink)

According to Aristotle, the medical art aims at health, which is a virtue of the body, and does so in an unlimited way. Consequently, medicine does not determine the extent to which health should be pursued, and “mental health” falls under medicine only via pros hen predication. Because medicine is inherently oriented to its end, it produces health in accordance with its nature and disease contrary to its nature—even when disease is good for the patient. Aristotle’s politician understands that this (...) inherent orientation can be systematically distorted, and so would see the need for something like the Hippocratic Oath. (shrink)

Democracy is one of the virtues we ache for, as many now observe an undemocratic society as a savage society. Richard L. Sklar built up a hypothesis called developmental democracy in which he opines that democracy will essentially prompts the improvement of African people and states. For the most part, there has been contention whether development precedes democracy or rather democracy helps development, which is very much unclear. Regardless of the answer, since the prodemocracy charges hit Africa since 1990s, democracy (...) has not made substantial strides. There have still been huge issues of underdevelopment, corruption and mal-administration. Many have started scrutinizing the possibility of democracy been ideal for Africa. The purpose of this paper is to audit the possibility of developmental democracy within African context. This paper presents that democracy is not ideal for Africa, it likewise guarantees that, if democracy is really what it is said to be, there would not have been any requirement for polarization, for instance, developmental, liberal, social democracies and so on. This is because any democracy will essentially include all. It is on this background that the paper attempts to criticize Richard’s Sklar’s idea of developmental democracy. (shrink)

In recent years, the number of studies examining mind wandering has increased considerably, and research on the topic has spread widely across various domains of psychological research. Although the term “mind wandering” has been used to refer to various cognitive states, researchers typically operationalize mind wandering in terms of “task-unrelated thought” (TUT). Research on TUT has shed light on the various task features that require people’s attention, and on the consequences of task inattention. Important methodological and conceptual complications do persist, (...) however, in current investigations of TUT. As we argue, these complications may be dampening the development of a more nuanced scientific account of TUT. Here, we outline three of the more prominent methodological and conceptual complications in the literature on TUT, and we discuss potential directions for researchers to take as they move forward in their investigations of TUT. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

Aristotle analyses a large range of objects as composites of matter and form. But how exactly should we understand the relation between the matter and form of a composite? Some commentators have argued that forms themselves are somehow material, that is, forms are impure. Others have denied that claim and argued for the purity of forms. In this paper, I develop a new purist interpretation of Metaphysics Z.10-11, a text central to the debate, which I call 'hierarchical purism'. I argue (...) that hierarchical purism can overcome the difficulties faced by previous versions of purism as well as by impurism. Roughly, on hierarchical purism, each composite can be considered and defined in two different ways: From the perspective of metaphysics, composites are considered only insofar as they have forms and defined purely formally. From the perspective of physics, composites are considered insofar as they have forms and matter and defined with reference to both. Moreover, while the metaphysical definition is a definition in the strict sense of 'definition', the physical definition is a definition in a loose sense. Analogous points hold for intelligible composites and geometry. Finally, neither sort of definitional practice implies that, for Aristotle, forms are impure. (shrink)

There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in (...) much the same manner as metaphysics and yet it is valuable nonetheless. The source of value enjoyed by pure mathematics extends to metaphysics as well. Accordingly, if one denies that metaphysics has value, then one is forced to deny that pure mathematics has value. The argument places an added burden on the sceptic of metaphysics. If one truly believes that metaphysics is worthless (as some philosophers do), then one must give up on pure mathematics as well. (shrink)

In this paper I provide a novel argument for scientific realism. In contrast to most recent defenses of SR, my defense of SR does not rely on the no-miracles argument. Instead, I take a more unconventional approach: I focus on the different kinds of justification available to different individuals in relation to different kinds of propositions. I maintain that this alternative focus shows that most people are warranted in believing many propositions about unobservables. The paper is divided into three main (...) sections. In the first, I rehearse the main moves in the recent debate about SR. In the second, I argue that the discussion in section one enables us to see that most of the arguments in the recent debate about SR mistake their target: instead of being about SR, they are about meta-SR. I argue that what I call the JJ-principle should be rejected and, further, that if the JJ-principle is rejected, then meta-SR may be cleaved from SR. This enables me to advance to a position I call thin realism in the third and final section of the paper. (shrink)

Samuel Kerstein’s recent (2013) How To Treat Persons is an ambitious attempt to develop a new, broadly Kantian account of what it is to treat others as mere means and what it means to act in accordance with others’ dignity. His project is explicitly nonfoundationalist: his interpretation stands or falls on its ability to accommodate our pretheoretic intuitions, and he does an admirable job of handling carefully a range of well fleshed out and sometimes subtle examples. In what follows, (...) I shall give a quick summary of the chapters and then say two good things about the book and one critical thing. (shrink)

Most democratic theorists agree that concentrations of wealth and power tend to distort the functioning of democracy and ought to be countered wherever possible. Deliberative democrats are no exception: though not its only potential value, the capacity of deliberation to ‘neutralise power’ is often regarded as ‘fundamental’ to deliberative theory. Power may be neutralised, according to many deliberative democrats, if citizens can be induced to commit more fully to the deliberative resolution of common problems. If they do, they will be (...) unable to get away with inconsistencies and bad or private reasons, thereby mitigating the illegitimate influence of power. I argue, however, that the means by which power inflects political disagreement is far more subtle than this model suggests and cannot be countered so simply. As a wealth of recent research in political psychology demonstrates, human beings persistently exhibit ‘motivated reasoning’, meaning that even when we are sincerely committed to the deliberative resolution of common problems, and even when we are exposed to the same reasons and evidence, we still disagree strongly about what ‘fair cooperation’ entails. Motivated reasoning can be counteracted, but only under exceptional circumstances such as those that enable modern science, which cannot be reliably replicated in our society at large. My analysis suggests that in democratic politics – which rules out the kind of anti-democratic practices available to scientists – we should not expect deliberation to reliably neutralise power. (shrink)

Loyalty is considered central to people’s moral life, yet little is known about how people think about what it means to be loyal. We used a prototype approach to understand how loyalty is represented in Colombia and the United States and how these representations mediate attributions of loyalty and moral judgments of loyalty violations. Across 7 studies (N = 1,984), we found cross-cultural similarities in the associative meaning of loyalty (Study 1) but found differences in the centrality of features associated (...) with loyalty (Study 2) and the latent structure of loyalty representations (Study 3). Colombians represent loyalty in terms of more general moral characteristics, while US participants represent loyalty in terms of interpersonal commitment, both in contrast with current approaches to loyalty. By comparing representations of loyalty and honesty, we establish that difference in loyalty conceptualizations reflect a different way of thinking about loyalty rather than morality more generally (Study 4). Further, Colombians attributed greater loyalty to individuals with general moral characteristics compared to participants from the United States sample (Study 5) and were more likely to classify non-loyal values as loyalty-related (Study 6). While the centrality of prototypical features predicts categorizing norm violations as loyalty-related, differences in prototypical structure account for differences in the severity of moral judgment for such violations (Study 7), which suggests that loyalty representations have similar functions even though these representations differ in structural characteristics. (shrink)

I present an argument that for any computer-simulated civilization we design, the mathematical knowledge recorded by that civilization has one of two limitations. It is untrustworthy, or it is weaker than our own mathematical knowledge. This is paradoxical because it seems that nothing prevents us from building in all sorts of advantages for the inhabitants of said simulation.

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and (...) so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs. (shrink)

In the Laws, Plato argues that the legislator should attempt to persuade people to voluntarily obey the laws. This persuasion is accomplished through use of legislative preludes. Preludes (also called preambles) are short arguments written into the legal code, which precede laws and give reasons to follow them. In this paper, I argue that Plato’s use of persuasive preludes shows that he endorses the core features of a public reason theory of political justification. Many philosophers argue that Plato’s political philosophy (...) is deeply at odds with contemporary liberal political philosophy. While Plato certainly does not affirm (and even rejects) some of the main features of liberalism, if it could be shown that he endorses some account of public reason (which is a liberal idea to its core), this would suggest that there is more in common between Plato and liberalism than many philosophers think. Furthermore, if combined with the work of philosophers, like C.C.W. Taylor, this could form a cumulative case against those who argue that there is little in common between Plato’s political philosophy and liberalism. In short, by showing that Plato endorses the core features of public reason, I endeavor to show that there is more in common between Plato and liberalism than is often thought. (shrink)